|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
Actions nationales/National Initiatives
ANR
-
Participation de Cormac Walsh au projet ANR FINSLER (Géométrie de Finsler et applications).
-
Projet ANR CAFEIN (Combinaison d'approches formelles pour l'étude d'invariants numériques), responsable P.L. Garoche. Partenaires : ONERA, CEA LIST, ENSTA Paristech, Inria Saclay (Maxplus, Toccata, Parkas), Université de Perpignan, Prover, Rockwell Collins France.
-
Projet ANR MALTHY (Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides), responsable T. Dang. Partenaires : Verimag, CEA LIST, Inria Rennes, Inria Saclay, VISEO/Object Direct.
-
Projet ANR DEMOCRITE ("DEmonstrateur d’un MOteur de Couverture des Risques sur un TErritoire), responsable Emmanuel Lapébie (CEA). Partenaires : CEA-GRAMAT, BSPP, Inria Saclay (Maxplus), Institut PPRIME - UPR3346 (CNRS, Univ. Poitiers, ISAE-ENSMA), IPSIS, SYSTEL, ARMINES-E.M. Alès-ISR, CERDACC (Univ. de Haute-Alsace).
Programme Gaspard Monge pour l'Optimisation
-
Projet intitulé “Méthodes tropicales pour l'optimisation”, responsable X. Allamigeon, faisant intervenir M. Akian, V. Boeuf, S. Gaubert, A.Hochart, R. Katz, et M. Skomra.
-
Participation de Marianne Akian et Stéphane Gaubert au projet “STORY: Stochastic and Robust Optimization Network and Teaching”, responsables: Laurent El Ghaoui (UC Berkeley) et Michel De Lara(CERMICS).
iCODE (Institut pour le Contrôle et la Décision de l’Idex Paris-Saclay)
Projet “blanc” intitulé “Stabilité et stabilisation des systèmes commutés” (Oct. 2014-fin 2015), faisant intervenir M. Akian, X. Allamigeon, S. Gaubert, et des membres de EPI Geco, L2S, LIX, LSV (ENS Cachan), UVSQ.